Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal
نویسندگان
چکیده
In this paper a comparative study of many-valued logics, fuzzy logics and the theory of graded consequence has been made focussing on consequence, inconsistency and sorites paradox.
منابع مشابه
Truth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملExploring Paraconsistency in Degree-Preserving Fuzzy Logics
Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. In the last decade, mathematical fuzzy logic has been developed as a discipline studying formal many-valued systems arising from fuzzy set theory. In this paper we study to what extent different systems of fuzzy logic are paraconsistent, identifying which f...
متن کاملGraded consequence revisited
In this paper some basic aspects of the theory of graded consequence are reconsidered, based on many results that appeared since the inception of graded consequences in 1986. Relationships of the notion of graded consequence with the notions of consequence in many-valued and fuzzy logics are discussed. Following this, a detailed study is carried out on the necessary conditions that follow from ...
متن کاملOn Retaining Classical Truths and Classical Deducibility in Many-Valued and Fuzzy Logics
DeWitt, Richard. 2005. On retaining classical truths and classical deducibility in many-valued and fuzzy logics. DeWitt, Richard, "On retaining classical truths and classical deducibility in many-valued and fuzzy logics" (2005). Philosophy Faculty Publications. Paper 3.
متن کاملEQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013